xen/arm: IRQ: Do not allow IRQ to be shared between domains and XEN
authorJulien Grall <julien.grall@linaro.org>
Tue, 22 Apr 2014 12:58:44 +0000 (13:58 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 2 May 2014 12:14:09 +0000 (13:14 +0100)
commitdcdcd3fe0f259892510c5ef8c7e2e0f9df09ba4b
tree5c59532eff549d2f68269930defe9a25268711c1
parent3e6a079d14f868d0ccae4e621dc0cf6dcf99b53e
xen/arm: IRQ: Do not allow IRQ to be shared between domains and XEN

The current dt_route_irq_to_guest implementation sets IRQ_GUEST even if the
IRQ is correctly setup.

An IRQ can be shared between devices, if the devices are not assigned to the
same domain or Xen, then this could result in routing the IRQ to the domain
instead of Xen ...

Also avoid to relying on wrong the behaviour when Xen is routing an IRQ to
DOM0. Therefore check the return code from route_dt_irq_to_guest in
map_device.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain_build.c
xen/arch/arm/irq.c